| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Übung | 524715 | Di 18:15-20:15 H01 (1385|101) (×1) Di 18:15-20:15 H02 (1385|102) (×1) Do 10:30-12:00 Großer Hörsaal AM (1420|210) (×10) Do 10:30-12:00 t.b.d. (×11) | ||
| Vorlesung | 524565 | Mo 10:30-12:00 Großer Hörsaal AM (1420|210) (×12) Di 18:30-20:00 Großer Hörsaal AM (1420|210) (×14) | |||
| Fach-/Modulprüfung | 6 | 530142 | Fr 22.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) TEMP1 (1515|001) Mi 24.09.2025 12:00-14:00 AachenMünchener Halle (Aula) (1010|131) H02 (1385|102) | ||
| Tutorium | 523772 | Di 16:30-18:00 5054 (2356|054) (×14) Do 12:30-14:00 5054 (2356|054) (×9) Do 12:30-14:00 R 220 (1080|220) (×9) Do 14:30-16:00 5052 (2356|052) (×9) Do 14:30-16:00 5054 (2356|054) (×9) Do 16:30-18:00 5056 (2356|056) (×9) Do 16:30-18:00 S08 (1385|208) (×9) Fr 08:30-10:00 5055 (2356|055) (×12) Fr 08:30-10:00 Z2 (1420|303) (×12) Fr 10:30-12:00 5054 (2356|054) (×12) Fr 10:30-12:00 5055 (2356|055) (×12) Fr 10:30-12:00 S04 (1385|204) (×12) Fr 10:30-12:00 Z1 (1420|304) (×12) Fr 10:30-12:00 Z3 (1420|302) (×12) Fr 10:30-12:00 Z4 (1420|301) (×12) Fr 12:30-14:00 5056 (2356|056) (×12) Fr 12:30-14:00 S03 (1385|203) (×12) Fr 12:30-14:00 Z3 (1420|302) (×12) Fr 12:30-14:00 Z4 (1420|301) (×12) Fr 14:30-16:00 S02 (1385|202) (×12) | |||
| Mathematische Logik I | Vorlesung | 524775 | Mo 12:30-14:00 TEMP2 (1515|002) (×12) Do 12:30-14:00 TEMP2 (1515|002) (×11) | ||
| Fach-/Modulprüfung | 7 | 531415 | Do 21.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) TEMP1 (1515|001) TEMP2 (1515|002) Do 25.09.2025 14:00-16:00 Großer Hörsaal AM (1420|210) H02 (1385|102) HKW 1 (1132|203) TEMP2 (1515|002) | ||
| Tutorium | 524763 | Di 10:30-12:00 MetP11 (2181|102) (×12) Di 10:30-12:00 ST 7 (1665|007) (×12) Di 12:30-14:00 UMIC_025 (2165|025) (×13) Di 14:30-16:00 5055 (2356|055) (×13) Di 14:30-16:00 ST 6 (1665|006) (×13) Mi 08:30-10:00 5054 (2356|054) (×13) Mi 10:30-12:00 5052 (2356|052) (×14) Mi 10:30-12:00 5055 (2356|055) (×14) Mi 10:30-12:00 S12 (1385|212) (×14) Mi 12:30-14:00 5052 (2356|052) (×14) Mi 12:30-14:00 5055 (2356|055) (×14) Mi 12:30-14:00 5056 (2356|056) (×14) Mi 14:30-16:00 5055 (2356|055) (×13) Mi 14:30-16:00 SG 513 (1810|513) (×13) Mi 14:30-16:00 UMIC_025 (2165|025) (×13) Mi 16:30-18:00 5054 (2356|054) (×13) Do 10:30-12:00 SE 108 (1580|108) (×11) Do 14:30-16:00 ST 4 (1665|004) (×11) Fr 10:30-12:00 SFo 1 (1821|001) (×12) Fr 14:30-16:00 SFo 4 (1821|004) (×12) |